var beginTime = 0;//执行onbeforeunload的开始时间
var differTime = 0;//时间差
window.onunload = function (){
	differTime = new Date().getTime() - beginTime;
	if(differTime <= 3) {
		closeStompConnect();
	}else{
		closeStompConnect();
	}

}

window.onbeforeunload = function (){
   beginTime = new Date().getTime();
   
   //鼠标相对于用户屏幕的水平位置 - 窗口左上角相对于屏幕左上角的水平位置 = 鼠标在当前窗口上的水平位置
    var n = window.event.screenX - window.screenLeft;
    //鼠标在当前窗口内时，n<m，b为false；鼠标在当前窗口外时，n>m，b为true。20这个值是指关闭按钮的宽度
    var b = n > document.documentElement.scrollWidth-20;
    //鼠标在客户区内时，window.event.clientY>0；鼠标在客户区外时，window.event.clientY<0
    if(b && window.event.clientY < 0 || window.event.altKey || window.event.ctrlKey){
		//关闭浏览器时你想做的事
		closeStompConnect();
    }else if(event.clientY > document.body.clientHeight || event.altKey){
    　　//刷新浏览器时你想做的事
		closeStompConnect();
    }
   
};

window.onload=function(){
	openStompConnect();
}